epage MATHEMATICAL MODAL LOGIC: A VIEW OF ITS EVOLUTION
نویسنده
چکیده
there is no one fundamental logical notion of necessity, nor consequently of possibility. If this conclusion is valid, the subject of modality ought to be banished from logic, since propositions are simply true or false. . .
منابع مشابه
Mathematical modal logic: A view of its evolution
Modal logic was originally conceived as the logic of necessary and possible truths. It is now viewed more broadly as the study of many linguistic constructions that qualify the truth conditions of statements, including statements concerning knowledge, belief, temporal discourse, and ethics. Most recently, modal symbolism and model theory have been put to use in computer science, to formalise re...
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملModal Provability Foundations for Negation by Failure
This paper is a contribution to the foundation of negation by failure. It presents a view of negation by failure as a modal provability notion. Negation by failure is a central notion in Logic Programming and is used extensively in practice. There are various attempts at its foundations each with its own difficulties and limitations. We would like to present the modal point of view which, as fa...
متن کاملStrong Completeness of Coalgebraic Modal Logics
Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction is well understood for Kripke semantics, non-normal modal logics often present subtle difficulties – up to the point that canonical models may fail to exist, as is the case e.g. in most probabilistic logics. Here, we present a...
متن کاملModal Foundations for Predicate Logic
The complexity of any logical modeling reeects both the intrinsic structure of a topic described and the weight of the formal tools. Some of this weight seems inherent in even the most basic logical systems. Notably, standard predicate logic is undecidable. In this paper, we investigatèlighter' versions of this general purpose tool, by modally`deconstructing' the usual semantics, and locating i...
متن کامل